Precisamos repensar a nossa abordagem quanto à proteção da privacidade na internet. Atualmente, os formuladores de políticas vêm se aprofundando na ideia de consentimento informado como um meio para proteger a privacidade. Por exemplo, em diversos países, as empresas são obrigadas por lei a obter o consentimento de um indivíduo antes de fazer uso dos seus dados; com base nessas requisitos de consentimento informado, a lei tem por objetivo empoderar as pessoas a fazerem escolhas de privacidade tendo em vista os (...) seus melhores interesses. No entanto, estudos comportamentais colocam em cheque a eficácia desta abordagem de empoderamento como um meio para proteger a privacidade. Este artigo defende uma abordagem conjunta de proteção e empoderamento dos indivíduos para aprimorar a proteção da privacidade. Este artigo aborda problemas práticos do consentimento informado como um meio para proteger a privacidade, e ilustra problemas com os atuais regulamentos de proteção à privacidade dos dados, concernentes à segmentação comportamental. Primeiramente, discutem-se os problemas de privacidade relativos à segmentação comportamental, e o papel central do consentimento informado ao abrigo da lei de proteção à privacidade. Em seguida, enfatizam-se os problemas práticos referentes ao consentimento informado. Por fim, o artigo argumenta que os formuladores de políticas devem dar mais atenção aos regulamentos que protegem as pessoas, e menos aos que as empoderam. INFORMED CONSENT: WE CAN DO BETTER TO DEFEND PRIVACYAbstractWe need to rethink our approach to defend privacy on the internet. Currently, policymakers focus heavily on the idea of informed consent as a means to defend privacy. For instance, in many countries the law requires firms to obtain an individual’s consent before they use data about her. With such informed consent requirements, the law aims to empower people to make privacy choices in their best interests. But behavioural studies cast doubt on this approach’s effectiveness, as people tend to click OK to almost any request they see on their screens. To improve privacy protection, this article argues for a combined approach of protecting and empowering the individual. (shrink)

In the European Union, the General Data Protection Regulation (GDPR) provides comprehensive rules for the processing of personal data. In addition, the EU lawmaker intends to adopt specific rules to protect confidentiality of communications, in a separate ePrivacy Regulation. Some have argued that there is no need for such additional rules for communications confidentiality. This Article discusses the protection of the right to confidentiality of communications in Europe. We look at the right’s origins to assess the rationale for protecting it. (...) We also analyze how the right is currently protected under the European Convention on Human Rights and under EU law. We show that at its core the right to communications confidentiality protects three individual and collective values: privacy, freedom of expression, and trust in communication services. The right aims to ensure that individuals and organizations can safely entrust communication to service providers. Initially, the right protected only postal letters, but it has gradually developed into a strong safeguard for the protection of confidentiality of communications, regardless of the technology used. Hence, the right does not merely serve individual privacy interests, but also other more collective interests that are crucial for the functioning of our information society. We conclude that separate EU rules to protect communications confidentiality, next to the GDPR, are justified and necessary. (shrink)

This paper discusses the Uniqueness Thesis, a core thesis in the epistemology of disagreement. After presenting uniqueness and clarifying relevant terms, a novel counterexample to the thesis will be introduced. This counterexample involves logical disagreement. Several objections to the counterexample are then considered, and it is argued that the best responses to the counterexample all undermine the initial motivation for uniqueness.

The aim of this paper is threefold. Firstly, §1 and §2 introduce the novel concept logical akrasia by analogy to epistemic akrasia. If successful, the initial sections will draw attention to an interesting akratic phenomenon which has not received much attention in the literature on akrasia (although it has been discussed by logicians in different terms). Secondly, §3 and §4 present a dilemma related to logical akrasia. From a case involving the consistency of Peano Arithmetic and Gödel’s Second Incompleteness Theorem (...) it’s shown that either we must be agnostic about the consistency of Peano Arithmetic or akratic in our arithmetical theorizing. If successful, these sections will underscore the pertinence and persistence of akrasia in arithmetic (by appeal to Gödel’s seminal work). Thirdly, §5 concludes by suggesting a way of translating the dilemma of arithmetical akrasia into a case of regular epistemic akrasia; and further how one might try to escape the dilemma when it’s framed this way. (shrink)

While the epistemic significance of disagreement has been a popular topic in epistemology for at least a decade, little attention has been paid to logical disagreement. This monograph is meant as a remedy. The text starts with an extensive literature review of the epistemology of (peer) disagreement and sets the stage for an epistemological study of logical disagreement. The guiding thread for the rest of the work is then three distinct readings of the ambiguous term ‘logical disagreement’. Chapters 1 and (...) 2 focus on the Ad Hoc Reading according to which logical disagreements occur when two subjects take incompatible doxastic attitudes toward a specific proposition in or about logic. Chapter 2 presents a new counterexample to the widely discussed Uniqueness Thesis. Chapters 3 and 4 focus on the Theory Choice Reading of ‘logical disagreement’. According to this interpretation, logical disagreements occur at the level of entire logical theories rather than individual entailment-claims. Chapter 4 concerns a key question from the philosophy of logic, viz., how we have epistemic justification for claims about logical consequence. In Chapters 5 and 6 we turn to the Akrasia Reading. On this reading, logical disagreements occur when there is a mismatch between the deductive strength of one’s background logic and the logical theory one prefers (officially). Chapter 6 introduces logical akrasia by analogy to epistemic akrasia and presents a novel dilemma. Chapter 7 revisits the epistemology of peer disagreement and argues that the epistemic significance of central principles from the literature are at best deflated in the context of logical disagreement. The chapter also develops a simple formal model of deep disagreement in Default Logic, relating this to our general discussion of logical disagreement. The monograph ends in an epilogue with some reflections on the potential epistemic significance of convergence in logical theorizing. (shrink)

A key question in the philosophy of logic is how we have epistemic justification for claims about logical entailment (assuming we have such justification at all). Justification holism asserts that claims of logical entailment can only be justified in the context of an entire logical theory, e.g., classical, intuitionistic, paraconsistent, paracomplete etc. According to holism, claims of logical entailment cannot be atomistically justified as isolated statements, independently of theory choice. At present there is a developing interest in—and endorsement of—justification holism (...) due to the revival of an abductivist approach to the epistemology of logic. This paper presents an argument against holism by establishing a foundational entailment-sentence of deduction which is justified independently of theory choice and outside the context of a whole logical theory. (shrink)

Default logic has been a very active research topic in artificial intelligence since the early 1980s, but has not received as much attention in the philosophical literature thus far. This paper shows one way in which the technical tools of artificial intelligence can be applied in contemporary epistemology by modeling a paradigmatic case of deep disagreement using default logic. In §1 model-building viewed as a kind of philosophical progress is briefly motivated, while §2 introduces the case of deep disagreement we (...) aim to model. On the heels of this, §3 defines our formal framework, viz., a refined Horty-style default logic. §4 then uses the framework to model deep disagreement, and finally §5 provides a critical discussion of the result. (shrink)

The paper gives a detailed reconstruction and discussion of Peirce’s doctrine of propositions, so-called Dicisigns, developed in the years around 1900. The special features different from the logical mainstream are highlighted: the functional definition not dependent upon conscious stances nor human language, the semiotic characterization extending propositions and quasi-propositions to cover prelinguistic and prehuman occurrences of signs, the relations of Dicisigns to the conception of facts, of diagrammatical reasoning, of icons and indices, of meanings, of objects, of syntax in Peirce’s (...) logic-as-semiotics. (shrink)

This paper argues for the reasonableness of an inclusive conception of default reasoning. The inclusive conception allows untriggered default rules to influence beliefs: Since a default “from φ, infer ψ” is a defeasible inference rule, it by default warrants a belief in the material implication φ → ψ, even if φ is not believed. Such inferences are not allowed in standard default logic of the Reiter tradition, but are reasonable by analogy to the Deduction Theorem for classical logic. Our main (...) contribution is a formal framework for inclusive default reasoning. The framework has a solid philosophical foundation, it draws conclusions non-trivially different from non-inclusive frameworks, and it exhibits a host of benchmark properties deemed desirable in the literature—e.g., that extensions always exist and are consistent. (shrink)

This paper discusses the uniqueness thesis, a core thesis in the epistemology of disagreement. After presenting uniqueness and clarifying relevant terms, a novel counterexample to the thesis will be introduced. This counterexample involves logical disagreement. Several objections to the counterexample are then considered, and it is argued that the best responses to the counterexample all undermine the initial motivation for uniqueness.

The predictive processing literature contains at least two different versions of the framework with different theoretical resources at their disposal. One version appeals to so-called optimistic priors to explain agents’ motivation to act (call this optimistic predictive processing). A more recent version appeals to expected free energy minimization to explain how agents can decide between different action policies (call this preference predictive processing). The difference between the two versions has not been properly appreciated, and they are not sufficiently separated in (...) the literature. They constitute two different theories with strikingly different accounts of motivation and action. By reducing all desire-like constructs to belief-like constructs, optimistic predictive processing entails a substantial revision of standard accounts of motivation and action in philosophy and cognitive science. By contrast, preference predictive processing introduces desire-like constructs that play Humean motivational roles in the explanation of action. In this Humean iteration, predictive processing resembles other prominent computational frameworks implementing a distinction between beliefs and desires, such as reinforcement learning and Bayesian decision theory. Ultimately, predictive processing faces a dilemma between parsimony of mental constructs and completeness of its explanations of agency and the mind. (shrink)

Two different concepts of iconicity compete in Peirce's diagrammatical logic. One is articulated in his general reflections on the role of diagrams in thought, in what could be termed his diagrammatology — the other is articulated in his construction of Existential Graphs as an iconic system for representing logic. One is operational and defines iconicity in terms of which information may be derived from a given diagram or diagram system — the other has stronger demands on iconicity, adding to the (...) operational criterion a demand for as high a degree of similarity as possible and may be termed optimal iconicity. Peirce himself does not clearly distinguish these two iconicity notions, a fact that has caused some confusion. By isolating them, we get a clearer and more refined conceptual apparatus for analyzing iconic signs, from pictures to logic. (shrink)

Recent studies on mind‐wandering reveal its potential role in goal exploration and planning future actions. How to understand these explorative functions and their impact on planning remains unclear. Given certain conceptions of intentions and beliefs, the explorative functions of mind‐wandering could lead to regular reconsideration of one's intentions. However, this would be in tension with the stability of intentions central to rational planning agency. We analyze the potential issue of excessive reconsideration caused by mind‐wandering. Our response resolves this tension, presenting (...) a model that aligns the roles of mind‐wandering in planning with empirical evidence and the sustained stability of intentions. (shrink)

In a recent paper, Jeanne Peijnenburg and David Atkinson [ Studia Logica, 89:333-341 ] have challenged the foundationalist rejection of infinitism by giving an example of an infinite, yet explicitly solvable regress of probabilistic justification. So far, however, there has been no criterion for the consistency of infinite probabilistic regresses, and in particular, foundationalists might still question the consistency of the solvable regress proposed by Peijnenburg and Atkinson.

This article sets out to research and resolve the conceptual lag between the family as defined and recognised in law and the multiplicity of queer constellations of ‘intimate citizenship’ in which families are actually done. The focus is on adult unions outside of conjugal coupledom. The family law practices, and awareness and expectations of adults in such unions were analysed through 21 interviews and the content analysis of 40 documents and were projected against the applicable legal mould. The article then (...) proposes to resolve the existing conceptual lag by advancing a conception of the family as a malleable, open-ended assemblage, in lieu of the current rigid status approach in family law, which is both under- and overinclusive. The proposed conception does justice to the increasing fluidity of family formations, which are not always already domestic, dyadic and sexual. (shrink)

We propose simple nonlinear mathematical models for the legal concept of balancing of interests. Our aim is to bridge the gap between an abstract formalisation of a balancing decision while assuring consistency and ultimately legal certainty across cases. We focus on the conflict between the rights to privacy and to the protection of personal data in Art. 7 and Art. 8 of the EU Charter of Fundamental Rights (EUCh) against the right of access to information derived from Art. 11 EUCh. (...) These competing rights are denoted by ( $i_1$ ) _right to privacy _ and ( $i_2$ ) _access to information_; mathematically, their indices are respectively assigned by $u_1\in [0,1]$ and $u_2\in [0,1]$ subject to the constraint $u_1+u_2=1$. This constraint allows us to use one single index _u_ to resolve the conflict through balancing. The outcome will be concluded by comparing the index _u_ with a prior given threshold $u_0$. For simplicity, we assume that the balancing depends on only selected legal criteria such as the social status of affected person, and the sphere from which the information originated, which are represented as inputs of the models, called legal parameters. Additionally, we take “time” into consideration as a legal criterion, building on the European Court of Justice’s ruling on the right to be forgotten: by considering time as a legal parameter, we model how the outcome of the balancing changes over the passage of time. To catch the dependence of the outcome _u_ by these criteria as legal parameters, data were created by a fully-qualified lawyer. By comparison to other approaches based on machine learning, especially neural networks, this approach requires significantly less data. This might come at the price of higher abstraction and simplification, but also provides for higher transparency and explainability. Two mathematical models for _u_, a time-independent model and a time-dependent model, are proposed, that are fitted by using the data. (shrink)

The overall aim of this article is to reorient the contemporary debate about epistemic consequentialism. Thus far the debate has to a large extent focused on whether standard theories of epistemic justification are consequentialist in nature and therefore vulnerable to certain trade-off cases where accepting a false or unjustified belief leads to good epistemic outcomes. We claim that these trade-offs raise an important—yet somewhat neglected—issue about the epistemic demands on inquiry. We first distinguish between two different kinds of epistemic evaluation, (...) viz., backing evaluation and outcome evaluation, and then go on to outline and discuss a consequentialist metatheory about the right combinations of decision procedures to adopt in inquiry. Note that the piece is exploratory in the following sense: we try to explore epistemic evaluation in consequentialist terms, which involves stating a form of epistemic consequentialism, but also pointing to what non-consequentialist alternatives might be. Rather than trying to argue decisively for a particular conclusion, we aim to outline various intricate issues in an underexplored area of theorizing. In the course of doing this, we’ll transpose some well-known themes from discussions of consequentialism in ethics to the current debate about consequentialism in epistemology, e.g., agent-neutrality, options, and side-constraints. (shrink)

This book investigates a number of central problems in the philosophy of Charles Peirce grouped around the realism of his semiotics: the issue of how sign systems are developed and used in the investigation of reality. Thus, it deals with the precise character of Peirce's realism; with Peirce's special notion of propositions as signs which, at the same time, denote and describe the same object. It deals with diagrams as signs which depict more or less abstract states-of-affairs, facilitating reasoning about (...) them; with assertions as public claims about the truth of propositions. It deals with iconicity in logic, the issue of self-control in reasoning, dependences between phenomena in their realist descriptions. A number of chapters deal with applied semiotics: with biosemiotic sign use among pre-human organisms: the multimedia combination of pictorial and linguistic information in human semiotic genres like cartoons, posters, poetry, monuments. All in all, the book makes a strong case for the actual relevance of Peirce's realist semiotics. (shrink)

In this chapter we explore the topic of logical disagreement. Though disagreement in general has attracted widespread philosophical interest, both in epistemology and philosophy of language, the general issues surrounding disagreement have only rarely been applied to logical disagreement in particular. Here, we develop some of the fascinating semantic and epistemological puzzles to which logical disagreement gives rise. In particular, after distinguishing between different types of logical disagreement, we explore some connections between logical disagreements and deep disagreements over fundamental epistemic (...) principles; we discuss several semantic puzzles that arise on various accounts of the meanings of logical terms; we investigate how such disagreements relate to Kripke’s so-called “Adoption Problem”; and we probe epistemological puzzles that arise from disagreements about logic in the light of central principles from the peer disagreement literature. (shrink)

The rejection of an infinitesimal solution to the zero-fit problem by A. Elga ([2004]) does not seem to appreciate the opportunities provided by the use of internal finitely-additive probability measures. Indeed, internal laws of probability can be used to find a satisfactory infinitesimal answer to many zero-fit problems, not only to the one suggested by Elga, but also to the Markov chain (that is, discrete and memory-less) models of reality. Moreover, the generalization of likelihoods that Elga has in mind is (...) not as hopeless as it appears to be in his article. In fact, for many practically important examples, through the use of likelihoods one can succeed in circumventing the zero-fit problem. 1 The Zero-fit Problem on Infinite State Spaces 2 Elga's Critique of the Infinitesimal Approach to the Zero-fit Problem 3 Two Examples for Infinitesimal Solutions to the Zero-fit Problem 4 Mathematical Modelling in Nonstandard Universes? 5 Are Nonstandard Models Unnatural? 6 Likelihoods and Densities A Internal Probability Measures and the Loeb Measure Construction B The (Countable) Coin Tossing Sequence Revisited C Solution to the Zero-fit Problem for a Finite-state Model without Memory D An Additional Note on ‘Integrating over Densities’ E Well-defined Continuous Versions of Density Functions. (shrink)

This paper gives a fIrst overview over the role of mereology the theory of parts and wholes - in semiotics. The mereology of four major semioticians - Husserl, Jakobson, Hjelmslev, and Peirce is presented briefly and its role in the overall architecture of each of their theories is outlined - with Brentano tradition as reference. Finally, an evaluation of the strength and weaknesses of the four is undertaken, and some guidelines for further research is proposed.

This paper aims to show that Selim Berker’s widely discussed prime number case is merely an instance of the well-known generality problem for process reliabilism and thus arguably not as interesting a case as one might have thought. Initially, Berker’s case is introduced and interpreted. Then the most recent response to the case from the literature is presented. Eventually, it is argued that Berker’s case is nothing but a straightforward consequence of the generality problem, i.e., the problematic aspect of the (...) case for process reliabilism (if any) is already captured by the generality problem. (shrink)

This paper formally explores the common ground between mild versions of epistemological coherentism and infinitism; it proposes—and argues for—a hybrid, coherentist–infinitist account of epistemic justification. First, the epistemological regress argument and its relation to the classical taxonomy regarding epistemic justification—of foundationalism, infinitism and coherentism—is reviewed. We then recall recent results proving that an influential argument against infinite regresses of justification, which alleges their incoherence on account of probabilistic inconsistency, cannot be maintained. Furthermore, we prove that the Principle of Inferential Justification (...) has rather unwelcome consequences—formally resembling the Sorites paradox—as soon as it is iterated and combined with a natural Bayesian perspective on probabilistic inferences. We conclude that strong versions of foundationalism and infinitism should be abandoned. Positively, we provide a rough sketch for a graded formal coherence notion, according to which infinite regresses of epistemic justification will often have more than a minimal degree of coherence. (shrink)

Artifacts are probably our most obvious everyday encounter with technology. Therefore, a good understanding of the nature of technical artifacts is a relevant part of technological literacy. In this article we draw from the philosophy of technology to develop a conceptualization of technical artifacts that can be used for educational purposes. Furthermore we report a small exploratory empirical study to see to what extent teachers’ intuitive ideas about artifacts match with the way philosophers write about the nature of artifacts. Finally, (...) we suggest a teaching and learning strategy for improving teachers’ concepts of technical artifacts through practical activities. (shrink)

The problem of how to rationally aggregate probability measures occurs in particular when a group of agents, each holding probabilistic beliefs, needs to rationalise a collective decision on the basis of a single ‘aggregate belief system’ and when an individual whose belief system is compatible with several probability measures wishes to evaluate her options on the basis of a single aggregate prior via classical expected utility theory. We investigate this problem by first recalling some negative results from preference and judgment (...) aggregation theory which show that the aggregate of several probability measures should not be conceived as the probability measure induced by the aggregate of the corresponding expected utility preferences. We describe how McConway’s :410–414, 1981) theory of probabilistic opinion pooling can be generalised to cover the case of the aggregation of infinite profiles of finitely additive probability measures, too; we prove the existence of aggregation functionals satisfying responsiveness axioms à la McConway plus additional desiderata even for infinite electorates. On the basis of the theory of propositional-attitude aggregation, we argue that this is the most natural aggregation theory for probability measures. Our aggregation functionals for the case of infinite electorates are neither oligarchic nor integral-based and satisfy a weak anonymity condition. The delicate set-theoretic status of integral-based aggregation functionals for infinite electorates is discussed. (shrink)

Frederik L. Schodt explores his lifelong fascination with the Heart Sutra: its mesmerizing mantra, its ancient history, the 'emptiness' theory, and the way it is used around the world as a metaphysical tool to overcome chaos and confusion and reach a new understanding of reality--a perfection of wisdom."--Back cover.

Following Lauwers and Van Liedekerke (1995), this paper explores in a model-theoretic framework the relation between Arrovian aggregation rules and ultraproducts, in order to investigate a source of impossibility results for the case of an infinite number of individuals and an aggregation rule based on a free ultrafilter of decisive coalitions.

In the current world of education, politics and public opinion, musical experience is increasingly threatened. It is designated ever more as an expendable luxury. This kind of general trend has hardly left the thinking in the field of music and music education untouched. Inspiration comes from the technical rationality of our time. This rationality affects an oblivion of ontology. In this article we discuss this trend related to Martin Heidegger’s thinking concerning the human existence in the world, artworks and notions (...) like “being” (Sein) and “oblivion-of-being” (Seinsvergessenheit). We think that it is possible to see this “oblivion-of-being” in relation to the trend in cultural and educational politics as well as in music educational thinking to focus on the instrumental usefulness of learning music. (shrink)

This article establishes the existence of a definable , countably saturated nonstandard enlargement of the superstructure over the reals. This nonstandard universe is obtained as the union of an inductive chain of bounded ultrapowers . The underlying ultrafilter is the one constructed by Kanovei and Shelah [10].

Journal Name: Semiotica Issue: Ahead of print.

Is there a morally relevant difference between a brain‐damaged human being and a nonhuman animal at the same cognitive and emotional level to justify, say, performing medical experiments on the animal but not the human being? Some hold that the misfortune of the human being allows us to distinguish between them. I consider the nature of misfortunate and argue that an appeal to misfortune fails to distinguish between the human being and the nonhuman animal when the treatment at issue is (...) equally morally serious, since the source of the limitation taken advantage of by performing the medical experiment, whether misfortunate or natural vulnerability, is irrelevant. (shrink)

Environmental philosophers are often concerned to show that non-sentient things, such as plants or ecosystems, have interests and therefore are appropriate objects of moral concern. They deny that mentality is a necessary condition for having interests. Yet they also deny that they are committed to recognizing interests in things like machines. I argue that either machines have interests (and hence moral standing) too or mentality is a necessary condition for inclusion within the purview of morality. I go on to argue (...) that the aspect of mentality necessary for having interests is more complicated than mere sentience. (shrink)

This paper briefly outlines the main ideas of biosemiotics in 22 hypotheses, with special regards to the version of it claimed by Jesper Hoffmeyer.

It is a well-known fact that Ernst Cassirer was inspired by his colleague, the biologist Jakob von Uexkiill at the university of Hamburg. This paper claims this inspiration was double—affecting both Cassirer's philosophical anthropology and Cassirer's epistemology of biology, but in two rather different ways. Thus, the paper intends to shed light on a corner of the history of the development of German thought of the interwar period. It may also have an actual interest because both Cassirer and Uexkiill enjoy, (...) for the time being and each in their way, a renaissance, e.g. in the recent field of biosemiotics. (shrink)

Deprivation offers a plausible explanation for the badness of death, so fear is not unreasonable. But horror at the prospect of one's death is not just extreme fear because horror is structurally different than fear. Horror requires a different explanation. For Sartre, horror is possible only in unique circumstances. I argue that Sartre's view, when combined with the subjective incomprehensibility of one's annihilation, can explain horror and other negative emotions that are not contingent on deprivation. Further, I argue that while (...) fear can be reasonable if one's death will deprive, Lucretius's Symmetry Argument shows that horror is unreasonable. (shrink)

Der vorliegende Aufsatz widmet sich der Charakterisierung von Methoden als Bezugspunkt der Designforschung aus einer rationalitätstheoretischen Perspektive. Im Fokus steht dabei zum einen die Überlegung, wie der Einsatz von kreativen und wissenschaftlichen Methoden den Gestaltungsprozess systematisiert und rationalisiert. Zum anderen geht es darum, wie die spezifischen Qualitäten von Designprozessen etablierte Verständnisse sowohl von Wissenschaft und Forschung als auch von Rationalität als solcher herausfordern. Mit Bezug auf konkrete Beispiele für Forschungsprojekte wird die Möglichkeit erkundet, inwieweit die pragmatisch formende Verhandlung eines methodischen (...) Vorgehens Designforschung mit der Kapazität ausstattet, einen Maßstab für selbstkritische Forschungspraxis zu aktualisieren. Es wird gezeigt, dass dieser Maßstab Implikationen für die philosophische Bestimmung gestalterischer und wissenschaftlicher Rationalität bereithält. Eine zentrale Rolle kommt dabei den externen und internen Grenzgebieten von Vernünftigkeit zu. (shrink)

We study a logic for deontic necessity and sufficiency, as originally proposed in van Benthem :36–41, 1979). Building on earlier work in modal logic, we provide a sound and complete axiomatization for it, consider some standard extensions, and study other important properties. After that, we compare this logic to the logic of “obligation as weakest permission” from Anglberger et al. :807–827, 2015).